ReP USP - Resultado da busca

Trabalho de evento-anais periodico
An algebraic (set) theory of surreal numbers, I (2022)
Rangel, Dimi Rocha; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RANGEL, Dimi Rocha e MARIANO, Hugo Luiz. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 02 maio 2024. , 2022
APA
Rangel, D. R., & Mariano, H. L. (2022). An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 maio 02 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 maio 02 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Monografia/livro
Uma jornada pelas teorias algébricas de formas quadráticas (2021)
Mariano, Hugo Luiz ; Ribeiro, Hugo Rafael de Oliveira; Roberto, Kaique Matias de Andrade
Unidade: IME
Subjects: FORMAS QUADRÁTICAS, MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e RIBEIRO, Hugo Rafael de Oliveira e ROBERTO, Kaique Matias de Andrade. Uma jornada pelas teorias algébricas de formas quadráticas. . São Paulo: Livraria da Física. . Acesso em: 02 maio 2024. , 2021
APA
Mariano, H. L., Ribeiro, H. R. de O., & Roberto, K. M. de A. (2021). Uma jornada pelas teorias algébricas de formas quadráticas. São Paulo: Livraria da Física.
NLM
Mariano HL, Ribeiro HR de O, Roberto KM de A. Uma jornada pelas teorias algébricas de formas quadráticas. 2021 ;[citado 2024 maio 02 ]
Vancouver
Mariano HL, Ribeiro HR de O, Roberto KM de A. Uma jornada pelas teorias algébricas de formas quadráticas. 2021 ;[citado 2024 maio 02 ]
Artigo de periodico
Um convite ao estudo da teoria das categorias (2021)
Mariano, Hugo Luiz ; Meleiro, Juan Ferrer
Source: Intermaths. Unidade: IME
Assunto: TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MELEIRO, Juan Ferrer. Um convite ao estudo da teoria das categorias. Intermaths, v. 2, n. 2, p. 14-22, 2021Tradução . . Disponível em: https://doi.org/10.22481/intermaths.v2i2.10099. Acesso em: 02 maio 2024.
APA
Mariano, H. L., & Meleiro, J. F. (2021). Um convite ao estudo da teoria das categorias. Intermaths, 2( 2), 14-22. doi:10.22481/intermaths.v2i2.10099
NLM
Mariano HL, Meleiro JF. Um convite ao estudo da teoria das categorias [Internet]. Intermaths. 2021 ; 2( 2): 14-22.[citado 2024 maio 02 ] Available from: https://doi.org/10.22481/intermaths.v2i2.10099
Vancouver
Mariano HL, Meleiro JF. Um convite ao estudo da teoria das categorias [Internet]. Intermaths. 2021 ; 2( 2): 14-22.[citado 2024 maio 02 ] Available from: https://doi.org/10.22481/intermaths.v2i2.10099
Artigo de periodico
A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás (2021)
Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Source: Brazilian Electronic Journal of Mathematics. Unidade: IME
Assunto: FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Electronic Journal of Mathematics, v. 2, n. 4, p. 48-80, 2021Tradução . . Disponível em: https://seer.ufu.br/index.php/BEJOM/article/view/58457. Acesso em: 02 maio 2024.
APA
Roberto, K. M. de A., & Mariano, H. L. (2021). A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás. Brazilian Electronic Journal of Mathematics, 2( 4), 48-80. Recuperado de https://seer.ufu.br/index.php/BEJOM/article/view/58457
NLM
Roberto KM de A, Mariano HL. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás [Internet]. Brazilian Electronic Journal of Mathematics. 2021 ; 2( 4): 48-80.[citado 2024 maio 02 ] Available from: https://seer.ufu.br/index.php/BEJOM/article/view/58457
Vancouver
Roberto KM de A, Mariano HL. A teoria algébrica de formas quadráticas aplicada a uma disputa entre dois orixás [Internet]. Brazilian Electronic Journal of Mathematics. 2021 ; 2( 4): 48-80.[citado 2024 maio 02 ] Available from: https://seer.ufu.br/index.php/BEJOM/article/view/58457
Artigo de periodico
On sheaf cohomology and natural expansions (2021)
Tenorio, Ana Luiza ; Mariano, Hugo Luiz
Source: São Paulo Journal of Mathematical Sciences. Unidade: IME
Subjects: CATEGORIAS TOPOLÓGICAS, TOPOLOGIA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MARIANO, Hugo Luiz. On sheaf cohomology and natural expansions. São Paulo Journal of Mathematical Sciences, v. 15, n. 2, p. 571-614, 2021Tradução . . Disponível em: https://doi.org/10.1007/s40863-021-00246-z. Acesso em: 02 maio 2024.
APA
Tenorio, A. L., & Mariano, H. L. (2021). On sheaf cohomology and natural expansions. São Paulo Journal of Mathematical Sciences, 15( 2), 571-614. doi:10.1007/s40863-021-00246-z
NLM
Tenorio AL, Mariano HL. On sheaf cohomology and natural expansions [Internet]. São Paulo Journal of Mathematical Sciences. 2021 ; 15( 2): 571-614.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s40863-021-00246-z
Vancouver
Tenorio AL, Mariano HL. On sheaf cohomology and natural expansions [Internet]. São Paulo Journal of Mathematical Sciences. 2021 ; 15( 2): 571-614.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s40863-021-00246-z
Trabalho de evento-resumo
Algebraizing higher-order logics (2019)
Mendes, Caio; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras (2019)
Alvim, José; Cahali, Arthur; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José e CAHALI, Arthur e MARIANO, Hugo Luiz. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Alvim, J., Cahali, A., & Mariano, H. L. (2019). Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Prime gaps and the Firoozbakht conjecture (2019)
Ferreira, Luan Alberto ; Mariano, Hugo Luiz
Source: São Paulo Journal of Mathematical Sciences. Unidade: IME
Assunto: PRIMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Luan Alberto e MARIANO, Hugo Luiz. Prime gaps and the Firoozbakht conjecture. São Paulo Journal of Mathematical Sciences, v. 13, n. 2, p. 652–662, 2019Tradução . . Disponível em: https://doi.org/10.1007/s40863-018-0113-0. Acesso em: 02 maio 2024.
APA
Ferreira, L. A., & Mariano, H. L. (2019). Prime gaps and the Firoozbakht conjecture. São Paulo Journal of Mathematical Sciences, 13( 2), 652–662. doi:10.1007/s40863-018-0113-0
NLM
Ferreira LA, Mariano HL. Prime gaps and the Firoozbakht conjecture [Internet]. São Paulo Journal of Mathematical Sciences. 2019 ; 13( 2): 652–662.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s40863-018-0113-0
Vancouver
Ferreira LA, Mariano HL. Prime gaps and the Firoozbakht conjecture [Internet]. São Paulo Journal of Mathematical Sciences. 2019 ; 13( 2): 652–662.[citado 2024 maio 02 ] Available from: https://doi.org/10.1007/s40863-018-0113-0
Trabalho de evento
Alguns comentários sobre a questão da identidade entre lógicas (2019)
Mariano, Hugo Luiz
Source: Seminário Lógica no Avião: 2013 - 2018. Conference titles: Seminário Permanente Lógica no Avião. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. Alguns comentários sobre a questão da identidade entre lógicas. 2019, Anais.. Brasília: PPGFIL/UnB, 2019. Disponível em: http://lna.unb.br/lna_n01_book.pdf. Acesso em: 02 maio 2024.
APA
Mariano, H. L. (2019). Alguns comentários sobre a questão da identidade entre lógicas. In Seminário Lógica no Avião: 2013 - 2018. Brasília: PPGFIL/UnB. Recuperado de http://lna.unb.br/lna_n01_book.pdf
NLM
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 maio 02 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Vancouver
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 maio 02 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2019)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel Gomes da
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras (2019)
Berni, Jean Cerqueira; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Berni, J. C., & Mariano, H. L. (2019). Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
A Galois group functor for the category of special groups (2019)
Mariano, Hugo Luiz
Conference titles: Joint Meeting Brazil-France in Mathematics. Unidade: IME
Assunto: TEORIA DE GALOIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. A Galois group functor for the category of special groups. 2019, Anais.. Rio de Janeiro: Impa, 2019. Disponível em: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf. Acesso em: 02 maio 2024.
APA
Mariano, H. L. (2019). A Galois group functor for the category of special groups. In . Rio de Janeiro: Impa. Recuperado de https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
NLM
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 maio 02 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Vancouver
Mariano HL. A Galois group functor for the category of special groups [Internet]. 2019 ;[citado 2024 maio 02 ] Available from: https://impa.br/wp-content/uploads/2019/07/Book-of-abstracts.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Alguns apontamentos sobre multi-álgebra universal (2019)
Roberto, Kaique; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique e MARIANO, Hugo Luiz. Alguns apontamentos sobre multi-álgebra universal. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 maio 2024.
APA
Roberto, K., & Mariano, H. L. (2019). Alguns apontamentos sobre multi-álgebra universal. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 maio 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Logic Journal of the IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 02 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 maio 02 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 maio 02 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Artigo de periodico
Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: South American Journal of Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 02 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
NLM
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Vancouver
Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
Artigo de periodico
Categorial forms of the axiom of choice (2017)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Silva, Samuel Gomes da
Source: Logic Journal Of The IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS, ÁLGEBRA HOMOLÓGICA, TEORIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael e MARIANO, Hugo Luiz e SILVA, Samuel Gomes da. Categorial forms of the axiom of choice. Logic Journal Of The IGPL, v. 25, n. 4, p. 408-430, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx020. Acesso em: 02 maio 2024.
APA
Brunner, A. B. M., Mariano, H. L., & Silva, S. G. da. (2017). Categorial forms of the axiom of choice. Logic Journal Of The IGPL, 25( 4), 408-430. doi:10.1093/jigpal/jzx020
NLM
Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 maio 02 ] Available from: https://doi.org/10.1093/jigpal/jzx020
Vancouver
Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 maio 02 ] Available from: https://doi.org/10.1093/jigpal/jzx020
Trabalho de evento-anais periodico
The von Neumann-regular hull of (preordered) rings and quadratic forms (2016)
Arndt, Peter; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz. The von Neumann-regular hull of (preordered) rings and quadratic forms. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf. Acesso em: 02 maio 2024. , 2016
APA
Arndt, P., & Mariano, H. L. (2016). The von Neumann-regular hull of (preordered) rings and quadratic forms. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
NLM
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Vancouver
Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 02 maio 2024. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 maio 02 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Trabalho de evento-resumo
Algebraizable logics and a functorial encoding of its morphisms (2015)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Handbook of the 5th World Congress and School on Universal Logic. Conference titles: World Congress and School on Universal Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. 2015, Anais.. Istanbul: Turkish Logic Society, 2015. Disponível em: https://www.uni-log.org/start5.html. Acesso em: 02 maio 2024.
APA
Pinto, D. C., & Mariano, H. L. (2015). Algebraizable logics and a functorial encoding of its morphisms. In Handbook of the 5th World Congress and School on Universal Logic. Istanbul: Turkish Logic Society. Recuperado de https://www.uni-log.org/start5.html
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start5.html
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Handbook of the 5th World Congress and School on Universal Logic. 2015 ;[citado 2024 maio 02 ] Available from: https://www.uni-log.org/start5.html

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation